ASIS for GNAT: From the Prototype to the Full Implementation
نویسندگان
چکیده
This article is about the implementation of the Ada Semantic Interface Specification (ASIS) for the GNAT Ada 95 compilation system (ASIS-forGNAT). It discusses implementation problems and their solutions. It explains the interaction of ASIS-for-GNAT with GNAT and its internal data structures. Finally, it describes the current state of ASIS-for-GNAT.
منابع مشابه
ASIS-for-GNAT: A Report of Practical Experiences
What are the main difficulties met when implementing ASIS, what are the problems when using ASIS, are there any missing features in ASIS, e.g. when it comes to object-oriented programming, these are some of the topics dealt with in this experience report.
متن کاملEvaluation of Spasticity Using the Ashworth Scale with Intermediate Scores (ASIS)
Objectives: The main purpose of this research was to study and contribute to an accurate test of spastic limb. The intra, inter rater reliability of the test was examined. Methods: The present study was carried out in two parts In the first part of the study, the modified Ashworth Scale with Intermediate Scores (ASIS) was studied. During the second part of the study the intra, inter rater re...
متن کاملAnalysis and Simulation of ZVS Methods in Full Bridge Converters and Realization of a 3 KW Prototype
One of the difficulties with PWM switching converters is high switching loss and electromagnetic interference due to switching at non-zero voltage and current, which limits the operating frequency. In order to reduce the converter volume and weight (by increasing the frequency) and reducing switching losses, zero voltage and current switching methods are recommended. In this paper, four main ze...
متن کاملA Framework for CFG-Based Static Program Analysis of Ada Programs
The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based representations of arbitrary Ada programs. The generated data holds extensive information about the original Ada source, such as visibility, package structure and type definitions and provides means for complete interprocedural analysis....
متن کاملFault Tolerance by Transparent Replication for Distributed Ada 95
This paper presents the foundations of RAPIDS (“Replicated Ada Partitions In Distributed Systems”), an implementation of the Distributed Systems Annex E incorporating the transparent replication of partitions in distributed Ada 95 applications. RAPIDS is a replication manager for semi–active replication based on a piecewise deterministic computation model. It guarantees replica consistency for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996